\begin{tabbing}
(\=(((((((D 1) \+
\\[0ex]CollapseTHEN (D 1))$\cdot$) 
\\[0ex]CollapseTHEN (Thin 1))$\cdot$) 
\\[0ex]CollapseTHEN (
\-\\[0ex]U\=nfolds ``btrue bfalse`` 0))$\cdot$) \+
\\[0ex]CollapseTHEN (Fold `it` 0))$\cdot$
\-
\end{tabbing}